lay up a ship for repairs